]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b796e7) | patch
overview: Add API to remove search providers
authorPhilippe Normand <philn@igalia.com>
Sun, 28 Aug 2011 11:20:37 +0000 (13:20 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Sun, 4 Sep 2011 11:28:08 +0000 (13:28 +0200)
commit595be5083c2b87e38434dbcd11222f4dd4ae231c
tree4ece7e2ee68b2502b823630b3f36033b9e4bf092tree | snapshot
parent8b796e745d98f8d64765911a69348d7d4d34dc03commit | diff
overview: Add API to remove search providers

As extensions are now expected to provide a "disable" function,
they need to remove search providers they added. Implement the
removal functionality and add a public removeSearchProvider()
method.

https://bugzilla.gnome.org/show_bug.cgi?id=657548
js/ui/overview.js diff | blob | history
js/ui/search.js diff | blob | history
js/ui/searchDisplay.js diff | blob | history
js/ui/viewSelector.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.